\begin{thebibliography}{10}

\bibitem{Bill}
Patrick Billingsley.
\newblock {\em Probability and measure}.
\newblock John Wiley \& Sons, New York-Chichester-Brisbane, 1979.
\newblock Wiley Series in Probability and Mathematical Statistics.

\bibitem{Prakash2}
Vincent Danos, Jos{\'e}e Desharnais, Fran{\c{c}}ois Laviolette, and Prakash
  Panangaden.
\newblock Bisimulation and cocongruence for probabilistic systems.
\newblock {\em Inform. and Comput.}, 204(4):503--523, 2006.

\bibitem{Doberkat1}
Ernst-Erich Doberkat.
\newblock Eilenberg-{M}oore algebras for stochastic relations.
\newblock {\em Inform. and Comput.}, 204(12):1756--1781, 2006.

\bibitem{Doberkat2}
Ernst-Erich Doberkat.
\newblock Kleisli morphisms and randomized congruences for the {G}iry monad.
\newblock {\em J. Pure Appl. Algebra}, 211(3):638--664, 2007.

\bibitem{Dynkin1}
E.~B. Dynkin.
\newblock {\em Theory of {M}arkov processes}.
\newblock Dover Publications Inc., Mineola, NY, 2006.
\newblock Translated from the Russian by D. E. Brown and edited by T.
  K{\"o}v{\'a}ry, Reprint of the 1961 English translation.

\bibitem{Gikhman2}
Iosif~I. Gikhman and Anatoli~V. Skorokhod.
\newblock {\em The theory of stochastic processes. {II}}.
\newblock Classics in Mathematics. Springer-Verlag, Berlin, 2004.
\newblock Translated from the Russian by S. Kotz, Reprint of the 1975 edition.

\bibitem{Gregoriou}
John Gregoriou.
\newblock A categorical approach to integral of measures and disintegration of
  measures.
\newblock {\em Nonlinear Funct. Anal. Appl.}, 6(2):171--204, 2001.

\bibitem{Halmos}
Paul~R. Halmos.
\newblock {\em Measure {T}heory}.
\newblock D. Van Nostrand Company, Inc., New York, N. Y., 1950.

\bibitem{McLane2}
S.~MacLane.
\newblock {\em Categories for the working mathematician}, volume~5 of {\em
  Graduate texts in {M}athematics}.
\newblock Springer-Verlag, 1971.

\bibitem{Prakash1}
Prakash Panangaden.
\newblock The category of {M}arkov kernels.
\newblock In {\em PROBMIV'98: First International Workshop on Probabilistic
  Methods in Verification (Indianapolis, IN)}, volume~22 of {\em Electron.
  Notes Theor. Comput. Sci.}, page 17 pp. (electronic). Elsevier, Amsterdam,
  1999.

\bibitem{Rao}
M.~M. Rao.
\newblock {\em Stochastic processes and integration}.
\newblock Martinus Nijhoff Publishers, The Hague, 1979.

\bibitem{Will}
David Williams.
\newblock {\em Probability with martingales}.
\newblock Cambridge Mathematical Textbooks. Cambridge University Press,
  Cambridge, 1991.

\end{thebibliography}
